val main_window : GWindow.window
val hbox : GPack.box
val tabs : GPack.notebook
val deuxd_box : GPack.box
val name_deuxdbox : GMisc.label
val add_deuxdbox : int
val bbox : GButton.toolbar
val imagebox : GPack.box
val troisdbox : GPack.box
val name_troisdbox : GMisc.label
val add_troisdbox : int
val default : 'a -> 'a option -> 'a
val img : string ref
val image : GMisc.image
val recup : < filename : string option; .. > -> unit -> unit
val open_button : GFile.chooser_button
val pas : float ref
val get_rgb : int -> int * int * int
val clr_btn_list : GButton.color_button list ref
val spn_btn_list : GEdit.spin_button list ref
val extract_red : Gdk.color -> int
val extract_blue : Gdk.color -> int
val extract_green : Gdk.color -> int
val popup : unit -> GWindow.window
val popup_btn : GtkSignal.id
val pas_txt : GMisc.label
val adjustments : GData.adjustment
val scale_button : GRange.scale
val radio_txt : GMisc.label
val radiobox : GPack.button_box
val filtres_txt : GMisc.label
val check_button_med : GButton.toggle_button
val obj : string list
val build : GButton.radio_button list
val check_button_ctr : GButton.toggle_button
val hauteurs_window : GWindow.window
val btns : GPack.box
val h_btns : GPack.button_box
val clr_btn : GButton.color_button
val height1_button : GEdit.spin_button
val blank_txt : GMisc.label
val save_button : GButton.button
val troisd_button : GButton.button
val authors : string list
val about : GtkSignal.id
val quit_button : GButton.button
val delete_event : 'a -> bool
val destroy : unit -> unit
val quit : unit -> GtkSignal.id
val set_pas : unit -> GtkSignal.id
val filtres : unit -> unit
val makeobj : unit -> unit
val click_troisd : unit -> GtkSignal.id
val save : unit -> GtkSignal.id
val main : unit -> unit
